From 073d4837444dc3b7480a463945317c2b6c9110c5 Mon Sep 17 00:00:00 2001 From: Mukesh Rathor Date: Mon, 11 Jun 2012 15:11:58 +0100 Subject: [PATCH] gdbsx: send virq to guest if gdbsx_vcpu_event is not active gdbsx got broken along the way. During domain pause, don't send VIRQ_DEBUGGER to guest if gdbsx is active on that guest. Signed-off-by: Mukesh Rathor Committed-by: Keir Fraser --- xen/common/domain.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/xen/common/domain.c b/xen/common/domain.c index 8840202af5..c21d18b548 100644 --- a/xen/common/domain.c +++ b/xen/common/domain.c @@ -624,7 +624,9 @@ void domain_pause_for_debugger(void) for_each_vcpu ( d, v ) vcpu_sleep_nosync(v); - send_global_virq(VIRQ_DEBUGGER); + /* if gdbsx active, we just need to pause the domain */ + if (current->arch.gdbsx_vcpu_event == 0) + send_global_virq(VIRQ_DEBUGGER); } /* Complete domain destroy after RCU readers are not holding old references. */ -- 2.30.2